(declare-sort S0 0)

(declare-const arr-6648601738383876656_-5336841048752577678-0 (Array Int S0))
(declare-const arr-6648601738383876656_-5336841048752577678-1 (Array Int S0))
(assert (distinct arr-6648601738383876656_-5336841048752577678-1 arr-6648601738383876656_-5336841048752577678-0))
(check-sat)
